window: Fix deferred focus unsetting
authorMatthias Clasen <mclasen@redhat.com>
Fri, 16 Apr 2021 11:26:32 +0000 (07:26 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 16 Apr 2021 11:35:26 +0000 (07:35 -0400)
commit4d19de4e033c7efe69f96acb98db1d35eaea3587
tree05280d7f7f6d0d49c771a4451f0816c8ac229d16
parent24cd05672e865340a8410eb6600f0960798b7189
window: Fix deferred focus unsetting

In commit 4a76abffd4d62cbb, we deferred unsetting focus
and default until after the next draw, overlooking the
case where the focus is set to another widget before we
ever get to the unsetting.

Fixes: #3413
gtk/gtkwindow.c